ESSENTIAL LOGIC